Automatic Reversing Loops With Epl